second-order logic - Turc Anglais Dictionnaire